Timing Tolerances in Safety-Critical Software

نویسندگان

  • Alan Wassyng
  • Mark Lawford
  • Xiayong Hu
چکیده

Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour that includes precise definitions as well as analysis of how functional timing requirements interact with performance timing requirements, and how these concepts can be used by software designers. The definitions and analysis presented explicitly deal with tolerances in all timing durations. Preliminary work indicates that some requirements may be met at significantly reduced CPU bandwidth through reduced variation in cycle time.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An investigation the effects of geometric tolerances on the natural frequencies of rotating shafts

This paper examines the effects of geometric tolerances on the natural frequencies of rotating shafts. In order to model the tolerances, a code is written in MATLAB 2013 that produces deviated points. Deviated points are controlled by different geometric tolerances, including cylindricity, total run-out and coaxiality tolerances. Final surfaces and models passing through the points are created ...

متن کامل

The formal modelling and verification of safety critical ATP software design

The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. This has become more complex and in rail transportation fields and the methods to ensure its correctness have been slow in development. One feasible approach is to mathematically verify software design in such systems with Formal Methods. ATP (Automatic Train Protection) i...

متن کامل

Confidence in Timing

All contemporary safety standards require to demonstrate the absence of functional and non-functional safety hazards. In real-time systems this includes demonstrating the absence of critical timing hazards. To meet this verification objective it is necessary to show the correctness of the timing behavior with adequate confidence. Adequate confidence means that the evidence provided can be trust...

متن کامل

Evaluating Critical Safety and Health Risks by Job Safety Analysis and Analytic Hierarchy Process in Industrial Printing

Background: Critical risks are one of the most important problems in industries, which have high costs for the industry. This study aimed to assess critical safety and health risks through job safety analysis and analytic hierarchy process in industrial printing. Materials and Methods: The present study was conducted as a descriptive and analytical in one of the printing industries in Iran, in...

متن کامل

Achieving System-level Fault-tolerance with Controlled Resets

Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, leading to increased complexity and connectivity. Despite the fast growing complexity, guaranteeing safety is of the utmost importance. Nonetheless, platform-wide software verification is often expensive. Therefore, design methods that enable utilization of components such a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005